https://ogma.newcastle.edu.au/vital/access/ /manager/Index en-au 5 https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:13019 Wed 11 Apr 2018 14:14:13 AEST ]]> https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:13086 Wed 11 Apr 2018 13:17:03 AEST ]]> https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:13545 n, extending earlier work to the non-separable multi-dimensional case. It also explores the potential application of the developed algorithms to automatic inequality proving.]]> Wed 11 Apr 2018 12:25:11 AEST ]]> https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:12940 n. These algorithms are realized in the form of the Maple package SCAT.]]> Sat 24 Mar 2018 08:17:39 AEDT ]]> https://ogma.newcastle.edu.au/vital/access/ /manager/Repository/uon:13131 Sat 24 Mar 2018 08:15:42 AEDT ]]>